format 8 
bind 
lam   0.0001
mu   0.001
end

markov 3repair(r1, r2, r3) 
0 1 r1
1 0 lam
1 2 r2
2 1 2*lam
2 3 r3
3 2 3*lam
end

* Functions & variables part:
func avail(r1, r2, r3) 1-prob(3repair,0;r1,r2,r3)
var scheme1 avail(mu,mu,mu)
var scheme2 avail(mu,2*mu,3*mu)
var scheme3 avail(2*mu,2*mu,2*mu)

expr scheme1
expr scheme2
expr scheme3

end


